Coulomb gluons and the ordering variable

Variable Ordering Heuristics Show Promise

Dynamic Variable Ordering in CSPs

We investigate the dynamic variable ordering (DVO) technique commonly used in conjunction with tree-search algorithms for solving constraint satisfaction problems. We first provide an implementation methodology for adding DVO to an arbitrary tree-search algorithm. Our methodology is applicable to a wide range of algorithms including those that maintain complicated information about the search h...

Coulomb correlation and magnetic ordering in double-layered manganites: LaSr2Mn2O7

A detailed study of the electronic structure and magnetic configurations of the 50% hole-doped double-layered manganite LaSr2Mn2O7 is presented. We demonstrate that the on-site Coulomb correlation (U) of Mn d electrons (i) significantly modifies the electronic structure, magnetic ordering (from FM to AFM), and interlayer exchange interactions, and (ii) promotes strong anisotropy in electrical t...

Variable and Value Ordering for MPE Search

In Bayesian networks, amost probable explanation (MPE) is a most likely instantiation of all network variables given a piece of evidence. Recent work proposed a branch-and-boundsearch algorithm that finds exact solutions to MPE queries, where bounds are computed on a relaxed network obtained by a technique known as node splitting. In this work we study the impact of variable and value ordering ...

Approximations by OBDDs and the Variable Ordering Problem